[INFO] fetching crate charon_core 0.6.3...
[INFO] checking charon_core-0.6.3 against master#158f00a1c5175648af6f6099b075f78d1d014a28 for pr-121251
[INFO] extracting crate charon_core 0.6.3 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate charon_core 0.6.3 on toolchain 158f00a1c5175648af6f6099b075f78d1d014a28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate charon_core 0.6.3
[INFO] finished tweaking crates.io crate charon_core 0.6.3
[INFO] tweaked toml for crates.io crate charon_core 0.6.3 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded charon_ariadne v0.1.0
[INFO] [stderr]   Downloaded logos-derive v0.12.1
[INFO] [stderr]   Downloaded logos v0.12.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 78aa4270aaded2982757679a4fe5f3fcd3fd04e9880eae266e62d71885df0849
[INFO] running `Command { std: "docker" "start" "-a" "78aa4270aaded2982757679a4fe5f3fcd3fd04e9880eae266e62d71885df0849", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "78aa4270aaded2982757679a4fe5f3fcd3fd04e9880eae266e62d71885df0849", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "78aa4270aaded2982757679a4fe5f3fcd3fd04e9880eae266e62d71885df0849", kill_on_drop: false }`
[INFO] [stdout] 78aa4270aaded2982757679a4fe5f3fcd3fd04e9880eae266e62d71885df0849
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d7177913edc14a4dc978968a7ea51e66e49e38aa92a496a34fb4beab82d3f937
[INFO] running `Command { std: "docker" "start" "-a" "d7177913edc14a4dc978968a7ea51e66e49e38aa92a496a34fb4beab82d3f937", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling proc-macro-hack v0.5.20+deprecated
[INFO] [stderr]     Checking csv-core v0.1.11
[INFO] [stderr]    Compiling getrandom v0.2.12
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling syn v2.0.52
[INFO] [stderr]     Checking charon_ariadne v0.1.0
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]     Checking csv v1.3.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling phf_generator v0.10.0
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling phf_macros v0.10.0
[INFO] [stderr]    Compiling logos-derive v0.12.1
[INFO] [stderr]     Checking phf v0.10.1
[INFO] [stderr]     Checking criterion v0.3.6
[INFO] [stderr]     Checking logos v0.12.1
[INFO] [stderr]     Checking charon_core v0.6.3 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `wcore`
[INFO] [stdout]  --> benches/core_bench.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use wcore::{evaluator::Evaluate, models::*};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `wcore`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::{evaluator::Evaluate, models::*};
[INFO] [stdout]   |     ~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `wcore::evaluator::Evaluate`
[INFO] [stdout]  --> benches/core_bench.rs:2:13
[INFO] [stdout]   |
[INFO] [stdout] 2 | use wcore::{evaluator::Evaluate, models::*};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `State`
[INFO] [stdout]   --> benches/core_bench.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |     let mut state = State::new();
[INFO] [stdout]    |                     ^^^^^ use of undeclared type `State`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_core::State;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Token`
[INFO] [stdout]   --> benches/core_bench.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |         Token::Value(x) => x,
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Token`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_core::Token;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `charon_core` (bench "core_bench") due to 5 previous errors
[INFO] running `Command { std: "docker" "inspect" "d7177913edc14a4dc978968a7ea51e66e49e38aa92a496a34fb4beab82d3f937", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d7177913edc14a4dc978968a7ea51e66e49e38aa92a496a34fb4beab82d3f937", kill_on_drop: false }`
[INFO] [stdout] d7177913edc14a4dc978968a7ea51e66e49e38aa92a496a34fb4beab82d3f937
[INFO] checking charon_core-0.6.3 against try#b4fc5dbf0bc33be331f9d893db5b3a794f29724a+rustflags=-Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds for pr-121251
[INFO] extracting crate charon_core 0.6.3 into /workspace/builds/worker-1-tc2/source
[INFO] validating manifest of crates.io crate charon_core 0.6.3 on toolchain b4fc5dbf0bc33be331f9d893db5b3a794f29724a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate charon_core 0.6.3
[INFO] finished tweaking crates.io crate charon_core 0.6.3
[INFO] tweaked toml for crates.io crate charon_core 0.6.3 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 15aafa557756fa7e5e0585e8dd27ca049f49d217c3b860a0ad84dc37da057278
[INFO] running `Command { std: "docker" "start" "-a" "15aafa557756fa7e5e0585e8dd27ca049f49d217c3b860a0ad84dc37da057278", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "15aafa557756fa7e5e0585e8dd27ca049f49d217c3b860a0ad84dc37da057278", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "15aafa557756fa7e5e0585e8dd27ca049f49d217c3b860a0ad84dc37da057278", kill_on_drop: false }`
[INFO] [stdout] 15aafa557756fa7e5e0585e8dd27ca049f49d217c3b860a0ad84dc37da057278
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f3e9492cbca76747c13b55d7b0b1130f92c43691b39e372e083a727e0347e95f
[INFO] running `Command { std: "docker" "start" "-a" "f3e9492cbca76747c13b55d7b0b1130f92c43691b39e372e083a727e0347e95f", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling proc-macro-hack v0.5.20+deprecated
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling getrandom v0.2.12
[INFO] [stderr]     Checking csv-core v0.1.11
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling syn v2.0.52
[INFO] [stderr]     Checking charon_ariadne v0.1.0
[INFO] [stderr]     Checking phf_shared v0.10.0
[INFO] [stderr]     Checking csv v1.3.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling phf_generator v0.10.0
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling phf_macros v0.10.0
[INFO] [stderr]    Compiling logos-derive v0.12.1
[INFO] [stderr]     Checking phf v0.10.1
[INFO] [stderr]     Checking criterion v0.3.6
[INFO] [stderr]     Checking logos v0.12.1
[INFO] [stderr]     Checking charon_core v0.6.3 (/opt/rustwide/workdir)
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/lexer.rs:29:15
[INFO] [stdout]    |
[INFO] [stdout] 29 |         slice[1..slice.len() - 1]
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     (slice[0][1..].trim().to_string(), slice[1].to_string())
[INFO] [stdout]    |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:62:29
[INFO] [stdout]    |
[INFO] [stdout] 62 |     let slice = lex.slice()[1..].parse::<usize>().unwrap();
[INFO] [stdout]    |                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:67:30
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let slice = &lex.slice()[1..];
[INFO] [stdout]    |                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/lexer.rs:74:26
[INFO] [stdout]    |
[INFO] [stdout] 74 |         Token::Iterator((start..=end).map(|x| Token::Value(x as f64)).collect())
[INFO] [stdout]    |                          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:99:74
[INFO] [stdout]    |
[INFO] [stdout] 99 |     #[regex(r":[a-zA-Z\+\-\*/%><\|&_]+", |atom| Token::Atom(atom.slice()[1..].to_string()))]
[INFO] [stdout]    |                                                                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:85:54
[INFO] [stdout]    |
[INFO] [stdout] 85 |     #[regex(r"\n  [^\n]*", |default| default.slice()[1..].trim().to_string())]
[INFO] [stdout]    |                                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:179:33
[INFO] [stdout]     |
[INFO] [stdout] 179 | / ...                   literal.1[0].clone().start
[INFO] [stdout] 180 | | ...                       ..literal.1[literal.1.len() - 2].clone().end,
[INFO] [stdout]     | |______________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:219:27
[INFO] [stdout]     |
[INFO] [stdout] 219 |                 }(bundled[x + 1..y].to_vec().bundle());
[INFO] [stdout]     |                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:221:32
[INFO] [stdout]     |
[INFO] [stdout] 221 |                 bundled.splice(x..y + 1, vec![bundled_token]);
[INFO] [stdout]     |                                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/utils.rs:242:36
[INFO] [stdout]     |
[INFO] [stdout] 242 |         for (index, value) in self[first_index? + 1..].iter().enumerate() {
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/utils.rs:254:38
[INFO] [stdout]     |
[INFO] [stdout] 254 |             second_index = Some(self[first_index? + 1..].len() + first_index?);
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:293:35
[INFO] [stdout]     |
[INFO] [stdout] 293 |             let mut token_range = 0..token_string.len();
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/lexer.rs:29:15
[INFO] [stdout]    |
[INFO] [stdout] 29 |         slice[1..slice.len() - 1]
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:52:15
[INFO] [stdout]    |
[INFO] [stdout] 52 |     (slice[0][1..].trim().to_string(), slice[1].to_string())
[INFO] [stdout]    |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:62:29
[INFO] [stdout]    |
[INFO] [stdout] 62 |     let slice = lex.slice()[1..].parse::<usize>().unwrap();
[INFO] [stdout]    |                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:67:30
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let slice = &lex.slice()[1..];
[INFO] [stdout]    |                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/lexer.rs:74:26
[INFO] [stdout]    |
[INFO] [stdout] 74 |         Token::Iterator((start..=end).map(|x| Token::Value(x as f64)).collect())
[INFO] [stdout]    |                          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:99:74
[INFO] [stdout]    |
[INFO] [stdout] 99 |     #[regex(r":[a-zA-Z\+\-\*/%><\|&_]+", |atom| Token::Atom(atom.slice()[1..].to_string()))]
[INFO] [stdout]    |                                                                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:85:54
[INFO] [stdout]    |
[INFO] [stdout] 85 |     #[regex(r"\n  [^\n]*", |default| default.slice()[1..].trim().to_string())]
[INFO] [stdout]    |                                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:179:33
[INFO] [stdout]     |
[INFO] [stdout] 179 | / ...                   literal.1[0].clone().start
[INFO] [stdout] 180 | | ...                       ..literal.1[literal.1.len() - 2].clone().end,
[INFO] [stdout]     | |______________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:219:27
[INFO] [stdout]     |
[INFO] [stdout] 219 |                 }(bundled[x + 1..y].to_vec().bundle());
[INFO] [stdout]     |                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:221:32
[INFO] [stdout]     |
[INFO] [stdout] 221 |                 bundled.splice(x..y + 1, vec![bundled_token]);
[INFO] [stdout]     |                                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/utils.rs:242:36
[INFO] [stdout]     |
[INFO] [stdout] 242 |         for (index, value) in self[first_index? + 1..].iter().enumerate() {
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/utils.rs:254:38
[INFO] [stdout]     |
[INFO] [stdout] 254 |             second_index = Some(self[first_index? + 1..].len() + first_index?);
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/utils.rs:293:35
[INFO] [stdout]     |
[INFO] [stdout] 293 |             let mut token_range = 0..token_string.len();
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeInclusive` type in public enum definition
[INFO] [stdout]   --> src/lib.rs:46:10
[INFO] [stdout]    |
[INFO] [stdout] 46 |     Full(std::ops::RangeInclusive<usize>),
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-D explicit-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeFrom` type in public enum definition
[INFO] [stdout]   --> src/lib.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 |     To(std::ops::RangeFrom<usize>),
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors; 13 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `charon_core` (lib) due to 3 previous errors; 13 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: 13 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "f3e9492cbca76747c13b55d7b0b1130f92c43691b39e372e083a727e0347e95f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f3e9492cbca76747c13b55d7b0b1130f92c43691b39e372e083a727e0347e95f", kill_on_drop: false }`
[INFO] [stdout] f3e9492cbca76747c13b55d7b0b1130f92c43691b39e372e083a727e0347e95f
